// Copyright Kani Contributors
// SPDX-License-Identifier: Apache-2.0 OR MIT
fn main() {
    this - is - not - valid - rust;
}
